1. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
پدیدآورنده : Mainul Islam
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
